package milecToMinisat;

/**
* This interface gathers all integer expression type.
* This aims to allow easier polymorphism.
* 
* @author ter-topcased-ups
* @version 0.01, 2008/07/03
* @see 
*/
public interface IntegerExp {
	
	abstract public  int getSize() ;

}
